metric structures

度量结构